1. Automata, Languages and Programming :
پدیدآورنده: edited by Hermann A. Maurer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Information theory.,Software engineering.,Theory of Computation.
2. Diagonalization and self-reference
پدیدآورنده: Smullyan, Raymond M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
1994
3. Diagonalization and self-reference
پدیدآورنده: Smullyan, Raymond M.
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع: ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
1994
4. Diagonalization and self-reference
پدیدآورنده: Smullyan, Raymond M.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Recursion theory , Fixed point theory
رده :
QA
9
.
6
.
S67
1994
5. Diagonalization and self-reference
پدیدآورنده: Smullyan, Raymond Merrill, 9191-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
6. Diagonalization & self-reference
پدیدآورنده: Smullyan, Raymond M.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
7. Introduction to lattice theory with computer science applications /
پدیدآورنده: Vijay K. Garg
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Engineering mathematics.,Lattice theory.
رده :
QA76
.
9
.
L38
8. Subsystems of Second Order Arithmetic
پدیدآورنده: by Stephen G. Simpson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
HF1008
.
B978
1999
9. There's something about Gödel :
پدیدآورنده: Francesco Berto
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Gödel, Kurt,Gödel's theorem,Incompleteness theorems,Mathematics-- Philosophy
رده :
QA9
.
54
.
B4713
2009
